var x: typeof Y & number = Y;
